nutcracker/nutcracker.util/`FunctionK{(* -> *) -> * -> *}`

`FunctionK{(* -> *) -> * -> *}`

trait `FunctionK{(* -> *) -> * -> *}`[F[_[_], _], G[_[_], _]]

Universally quantified function: ∀ K[_], A. F[K, A] => G[K, A]

Companion:
object
class Object
trait Matchable
class Any

Value members

Abstract methods

def apply[K[_], A](f: F[K, A]): G[K, A]

Concrete methods

def papply[K[_]]: NaturalTransformation[[_] =>> F[K, _$14], [_] =>> G[K, _$15]]